Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
نویسندگان
چکیده
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower developers when tracking memory leaks and memory corruption in their code. This Ada extension rests on the notion of “checked pools”, i.e. storage pools with an additional Dereference operation. The paper describes how a particular instance of the checked pool, called the “debug pool”, is implemented in the GNAT technology. Performance measurements for the use of debug pools are provided in the context of the Air Traffic Flow Management application at Eurocontrol.
منابع مشابه
Detection of Precise C / C + + Memory Leakage by diagnosing Heap dumps using Inter procedural Flow Analysis statistics
Memory leak is a time consuming bug often created by C++ developers. Detection of memory leaks is often tedious. Things get worst if the code is not written by you, or if the code base is quite huge. The most difficult coding bugs such as Memory Corruption, reading uninitialized memory, using freed memory, are challenging in recognizing and fixing due to the delay and non-determinism linking th...
متن کاملProactive Management of Software Systems
With the explosive growth in Internet technology and the emergence of a number of new and advanced applications, assured availability of computer systems has become a critical issue. The challenge is to provide the desired availability and performance at a low cost. Computer system manufacturers like SUN, IBM, HP and Microsoft have recently announced major highavailability initiatives. We refer...
متن کاملCAIN: Silently Breaking ASLR in the Cloud
Modern systems rely on Address-Space Layout Randomization (ASLR) and Data Execution Prevention (DEP) to protect software against memory corruption vulnerabilities. The security of ASLR depends on randomizing regions in memory which can be broken by leaking addresses. While information leaks are common for client applications, server software has been hardened to reduce such information leaks. M...
متن کاملDetile: Fine-Grained Information Leak Detection in Script Engines
Memory disclosure attacks play an important role in the exploitation of memory corruption vulnerabilities. By analyzing recent research, we observe that bypasses of defensive solutions that enforce control-flow integrity or attempt to detect return-oriented programming require memory disclosure attacks as a fundamental first step. However, research lags behind in detecting such information leak...
متن کاملEffects of Peripheral and Intra-hippocampal Administration of Sodium Salicylate on Spatial Learning and Memory of Rats
Objective(s) Cyclooxygenases (COXs) are known to play some roles in physiological mechanisms related to learning and memory. Since sodium salicylate is an inhibitor of COX, we have evaluated the effect of peripheral and intra-hippocampal administration of sodium salicylate on spatial learning and memory in male rats. Materials and Methods Male rats were studied in two groups; the first grou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003